This is an old copy of the Mach UK 22 kernel with Lites. I recall using a NetBSD image. It works faster with the default setup, but the Linux device version of the Mach kernel will obviously support more devices.
More of a historical curiosity than anything else.
The Linux driver kernel isn't the one that is configured in the userland so it gets stuck, or I'm too impatient and I just hit control C a few times to get it to boot.
You can find more infomation here:
https://www-old.cs.utah.edu/flux/mach4-i386/html/mach4-UK22.html